Eclipse extras
نویسندگان
چکیده
منابع مشابه
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context-free programs. The algorithm shows that the model checking problem for PDL remains PTIME-complete in the presence of all these operators, in contrast to the high increase in complexity that they cause for the satisfia...
متن کاملTurning Eclipse Against Itself: Improving the Quality of Eclipse Plugins
While many researchers have used Eclipse as a platform for developing software engineering and program analysis tools, Eclipse itself presents an excellent subject for analysis and study. Eclipse represents one of the biggest Java projects ever created. While surprisingly robust, Eclipse still suffers from serious bugs that lead to crashes and resource exhaustion. Eclipse is a collaborative dev...
متن کاملEclipse Guard: Relative Debugging in the Eclipse Framework
This paper describes an implementation of relative debugging under the Eclipse framework. The paper describes what relative debugging is and how it helps test and debug evolved applications. We give a brief overview of the architecture of Eclipse and show how our relative debugger, Guard, has been integrated into that environment.
متن کاملECLIPSE Feature Logic Analysis
ECLIPSE is a virtual telecommunications network based on IP. It is the result of an ongoing research project at AT&T Labs – Research that is investigating next-generation telecom service architectures. The ECLIPSE Statecharts language was developed to simplify feature (service) development, for example call waiting, by supporting a smooth transition from design to implementation and by supporti...
متن کاملCoupling ORACLE with ECLiPSe
We describe the design and implementation of an interface between a Prolog system, ECLiPSe, and the relational database management system, Oracle. ECLiPSe is used to solve sophisticated planning and scheduling problems and sometimes needs to access data stored in a legacy system to do this. A typical ECLiPSe application would be job shop scheduling and a legacy system might be used to store the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy & Geophysics
سال: 1999
ISSN: 1366-8781,1468-4004
DOI: 10.1093/astrog/40.5.5.8-a